/*
 * Copyright 2010 Christian Schindelhauer, Peter Thiemann, Faisal Aslam, Luminous Fennell and Gidon Ernst.
 * All Rights Reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER
 * 
 * This code is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License version 3
 * only, as published by the Free Software Foundation.
 * 
 * This code is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
 * General Public License version 3 for more details (a copy is
 * included in the LICENSE file that accompanied this code).
 * 
 * You should have received a copy of the GNU General Public License
 * version 3 along with this work; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
 * 02110-1301 USA
 * 
 * Please contact Faisal Aslam 
 * (aslam AT informatik.uni-freibug.de or studentresearcher AT gmail.com)
 * if you need additional information or have any questions.
 */
import takatuka.classreader.dataObjs.*;
import takatuka.io.*;

/**
 * <p>Title: </p>
 *
 * <p>Description: </p>
 *
 * HelloWorld1, HelloWorld2 and HelloWorld3 are used for testing.
 * Most of the verification code is tested by writting different kind of code
 * in this class.
 * These classes have no fix code and are change frequenty for testing...
 * @author Faisal Aslam
 * @version 1.0
 */
public class HelloWorld2 {

    int j = 0;
    public void inc() {
        HelloWorld3 h3 = new HelloWorld3();
        if (h3.getI() > 0) {
            j ++;
        }
    }
    
    public void dec() {
        j --;
    }
    
    public void print() {
        j = 0;
    }
}
